reachable state

In addition, the concepts of reachable set and state-space ellipsoid are introduced to capture the time-domain constraints.

另外，为了处理约束，引入了可达集和状态空间椭球域的概念。

The concept and algorithm of Reachable Task Graph for hierarchical colored Petri net are given in this paper. Finally, we analyze the running state of resource scheduling for grid computing using reachable task graph.

给出了层次颜色Petri网的可达任务图的概念及构造算法，并利用可达任务图，对网格计算资源调度系统的运行状态进行了分析。

Two examples are given to illustrate the theoretical results. ( 2) The problem of reachable set estimation for uncertain systems subject to both state time delay and control input delay is also studied.

研究了同时具有状态时滞和控制输入时滞的不确定系统的可达集界定的问题。

Firing rules of timed Petri nets and the definition and algorithm of timed reachable graph are given. A fundamental applied methods ( mainly timed reachable graph and state equation) are discussed.

给出了时延Petri网的引发规则、时间可达图定义和构造算法，并且介绍了时延Petri网的两个基本分析方法：时间可达图（或可覆盖图）和状态方程。

The model is validated by reachability tree and state matrix equations of Petri Net, and the validation result is that the model can be reachable.

同时，本文运用Petri网系统的可达树方法和状态矩阵方程的方法对模型进行了可达性验证，经验证该模型是安全可达的。